#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include "klee_change_macros.h"
#include "klee_change_functions.h"
#define NUMPRIMES 8
static const unsigned int primes[8] = { 2, 3, 5, 7, 11, 13, 17, 19 };

int lib(unsigned int x, int b) {
  int i;
  if (b == 0) {
    return 0;
  } else {
    for (i = 0; i < NUMPRIMES; i++) {
      int mod = x % primes[i];
      if (mod == 0)
        return klee_change(0,x == primes[i]);
    }
  }
  return 1;
}


int client(unsigned int x) { return lib(x, 0); }

int main(int argc, char *argv[]) {
  unsigned int x= argv[1][0] - '0';
  return client(x);
}
